虚拟仪器在远程控制中的软件设计与实现

网络化是虚拟仪器技术的发展方向，基于以太网和TCP／IP协议的虚拟仪器的设计方法，并主要介绍了它在远程控制系统中的软件实现技术．     

Compactness in <Emphasis Type="Italic">MV</Emphasis>-algebras and in their non-commutative generalizations

 In the paper we study MV-algebras and their non-commutative generalizations, GMV-algebras, in which every element is compact. Further, we characterize finite MV-algebras as archimedean GMV-algebras which are 0-meet compact. Dedicated to Prof. Ján Jakubík on the occasion of his 80th birthday Supported by the Council of Czech Government, J 14/98: 15100011.     

基于虚拟仪器功率测试分析系统

介绍基于虚拟仪器的功率测试分析系统的构成，软件设计以及数据采集、信号处理和整体结构。该系统已在实际应用中取得很好效果。     

计算机辅助建筑设计的思考

通过对计算机辅助建筑设计现状的分析,提出了计算机在推敲建筑方案方面的应用还不够充分的问题.分析了运用数字模型推敲方案的优势.阐述分析了各种计算机技术在推敲建筑方案中的应用,即:照片的数字化技术、计算机生成草图技术、光能传递技术、动画及虚拟现实技术等.     

利用CVI,VC环境驱动数据库的一种简单方法

介绍了一种方法，用于在Visual C^ 6．0环境下构建驱动Access的DLL动态链接库，然后在LabWindows／CVI环境下调用此动态链接库，从而实现了测控软件的简单数据库驱动。     

舰船导航信号发生器虚拟化设计

介绍了基于PC总线的便携式舰船导航信号发生器虚拟化设计，着重叙述该仪器硬件设计、基于虚拟仪器开发平台LabWindows／CVI的软件设计。     

基于多智能体的数控机床资源共享技术研究

以数控铣床为对象，应用多智能体技术，以解决传统的资源共享所面lI缶的透明度低和效率低下的问题。首先，在分析功能模型的基础上，提出并实现了资源共享的四层网络拓扑结构；其次，构造了面向设备资源共享功能的智能体信息流模型，以实现四层结构之间的交互；其三，定义了智能体状态函数，并以此为依据，建立了智能体协商机制。所开发的原型系统表明，以上成果有效地提高了数控机床资源共享的透明度和效率。     

A framework to support qualitative reasoning about COAs in a dynamic spatial environment

We propose a framework to reason qualitatively about courses of action (COAs) which need to be executed in a realistic geographic space that may change. Particularly, the framework aims to support human mental ‘What-If’ analysis by simulating the execution of COAs in a virtual geographic environment, which can change during the simulation, and by allowing the user to explore various scenarios (different COAs) and to analyse their outcomes using causal reasoning techniques. In this article, we first present a framework which is based on a conceptual model of spatio-temporal situations, a multi-agent geosimulation platform and qualitative spatio-temporal causal reasoning techniques. Then, we illustrate the framework using a case study.     

二进制翻译后端指令分级索引策略

随着硬件平台的多元化,软件兼容性问题日益突出,二进制翻译技术是解决软件兼容性问题的重要手段.鉴于二进制翻译系统大部分执行时间消耗在后端指令的查找和执行过程中,高效的指令索引策略可以减少系统的指令查找开销,提高系统的整体效率.在对二进制翻译系统后端指令局部性特征进行统计分析的基础上,设计了一种能充分挖掘现代计算机系统硬件性能的二进制翻译指令分级索引策略.该策略结合二进制翻译系统后端指令特殊的局部性特征,使用针对性的替换算法对后端指令进行缓存,降低了系统的指令查找开销.在引入了LIIS索引策略后,开源二进制翻译系统QEMU的后端指令查找时间减少了70％,整个系统执行效率提高了15％.     

基于裂痕故障块的自适应容错路由表算法

基于裂痕故障块的二维网格自适应容错路由算法是一种有效的容错算法,不仅能够解决活锁问题,而且克服了传统故障块模型中状态良好的节点不能参与路由的缺陷,但同时具有明显的缺点：每次路由到以故障块边界节点为根节点的内部树时,都需要遍历此内部树,因此算法的路由长度并不是最短的。针对上述问题,提出基于裂痕故障块的自适应容错路由表算法,其中路由表由裂痕故障块内部树上的节点创建,通过路由表上保留的有用消息决定是否遍历内部树。实验结果证明,随着网格规模的扩大,该算法最大可减少70％的平均路由长度,并且其实现简单,可以有效地延长网络寿命。